Nuprl Definition : exists 9,38

x:AB(x) == x:A  B(x
latex


Definitionsx:AB(x)
FDL editor aliasesexists

origin